#Mathematics #ai

ChatGPT - Schmidhuber and Godel's Theorem

·chatgpt.com·Nov 6, 2024

PatternBoost: Constructions in Mathematics with a Little Help from AI

View PDF

·arxiv.org·Nov 6, 2024

Terence Tao at IMO 2024: AI and Mathematics - YouTube

·youtube.com·Aug 31, 2024

Google's AI Makes Stunning Progress with Logical Reasoning

·youtube.com·Jan 30, 2024

Nassim Nicholas Taleb: Connectivity, Global Fragility and the Added Danger of AI

·youtube.com·Oct 16, 2023

Google's New Model Solves College-Level Math Problems

·youtube.com·Jul 29, 2022