GoKawiil - Tech News

Topics: Today This Week This Month This Year

OpenAI claims it solved an 80-year-old math problem — for real this time (techcrunch.com)

2026-05-20 | by Rebecca Bellan | tags: openai, erdos problems, ai model

A recent experience with ChatGPT 5.5 Pro (news.ycombinator.com)

2026-05-09 | tags: chatgpt 5.5 pro, large language models, erdos problems

An Amateur Just Solved a 60-Year-Old Math Problem - by Asking AI (slashdot.org)

2026-05-02 | by Posted | get AI Math Problem Solver Kit → | tags: erdos problems, chatgpt, mathematics

Mathematicians Claim Significant Discovery Using ChatGPT (futurism.com)

2026-05-02 | by Frank Landymore | get ChatGPT Mathematics Puzzle Book → | tags: chatgpt, erdős problems, terence tao

Amateur armed with ChatGPT solves an Erdős problem (news.ycombinator.com)

2026-04-25 | by Joseph Howlett | get ChatGPT for Math Assistance → | tags: chatgpt, erdos problems, openai

AI Models Are Starting To Crack High-Level Math Problems (slashdot.org)

2026-01-15 | get Mathematica → | tags: erdos, problems, push

Today's top topics: openai anthropic claude android authority dario amodei artificial intelligence chatgpt iphone 18 pro ai regulation ai safety