GoKawiil - Tech News

Topics: Today This Week This Month This Year

OpenAI's Astra Solved Decades-Old Math Problems For $2,000 (slashdot.org)

2026-08-04 | tags: openai, astra, group theory

Ten advances in mathematics and theoretical computer science (news.ycombinator.com)

2026-08-01 | tags: chatgpt, erdos conjecture, astral model

Theo Conjecture solves 35-year-old math problem, finds a term no one predicted (news.ycombinator.com)

2026-07-29 | tags: theo conjecture, paul erdos, graffiti program

Human mathematicians are being outcounterexampled (news.ycombinator.com)

2026-07-20 | by View All Posts Xenaproject | tags: lean, erdos conjecture, golod shafarevich

An OpenAI model solved a famous math problem that stumped humans for 80 years (arstechnica.com)

2026-06-01 | get AI Math Problem Solver → | tags: openai, erdős conjecture, ai mathematics

A Famous Math Problem Stumped Humans for 80 Years. AI Just Cracked It. (feeds.content.dowjones.io)

2026-05-30 | get Mathematics Puzzle Book → | tags: erdős problem, math, humans

AI cracks 80-year-old mathematics challenge — researchers are astonished (feeds.nature.com)

2026-05-22 | by Castelvecchi | get Mathematics Puzzle Book → | tags: openai, ai chatbot, algebraic number theory

OpenAI Claims It Solved an 80-Year-Old Math Problem (slashdot.org)

2026-05-21 | get Mathematics Puzzle Book → | tags: openai, erdos, gpt-5

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

10.

‘It is incredible’: How AI is transforming mathematics (feeds.nature.com)

2026-05-19 | by Castelvecchi | get AI Math Learning Kit → | tags: chatgpt, erdos problem, stanford university

11.

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

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

12.

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

13.

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

14.

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

15.

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

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

16.

OpenAI’s ‘embarrassing’ math (techcrunch.com)

2025-10-31 | by Anthony Ha | get science reference book → | tags: bloom, erdős, gpt

17.

Talent (news.ycombinator.com)

2025-10-31 | by Felix Stocker | get Amazon Echo Show → | tags: don, erdös, just

18.

Student Solves a Long-Standing Problem About the Limits of Addition (wired.com)

2025-10-31 | by Leila Sloman | get Meta Quest → | tags: erdős, free, numbers

Today's top topics: openai anthropic apple ai safety google iphone 18 pro ios 27 dario amodei artificial intelligence nvidia