GoKawiil - Tech News

1.

LLMs reward expertise (news.ycombinator.com)

2026-08-03 | tags: llms, chatgpt, jacobian conjecture

2.

Postmortem for Kernel Soundness Bug #14576 (news.ycombinator.com)

2026-08-01 | by Leonardo De Moura | tags: lean kernel, collatz conjecture, nanoda

3.

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

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

4.

The Maxwell Conjecture Is False (GPT 5.6 Sol) (news.ycombinator.com)

2026-07-31 | tags: maxwell conjecture, gpt 5.6, artificial intelligence

5.

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

6.

Four Young Mathematicians Awarded the 2026 Fields Medals (slashdot.org)

2026-07-23 | tags: fields medals, hong wang, kakeya conjecture

7.

Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample (news.ycombinator.com)

2026-07-22 | tags: terence tao, chatgpt, jacobian conjecture

8.

Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample (news.ycombinator.com)

2026-07-22 | tags: terrence tao, chatgpt, jacobian conjecture

9.

A digestion of the Jacobian conjecture counterexample (news.ycombinator.com)

2026-07-21 | by Terence Tao | tags: jacobian conjecture, complex numbers, polynomial map

10.

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

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

11.

Claude Fable produced a counterexample to the Jacobian Conjecture (news.ycombinator.com)

2026-07-20 | tags: jacobian conjecture, algebraic geometry, levent alpoge

12.

GPT-5.6 used a prompt to close a 30-year gap in convex optimization (news.ycombinator.com)

2026-07-18 | tags: gpt-5.6, convex optimization, lean

13.

A Beautiful Theory Falls to Ugly Data (news.ycombinator.com)

2026-07-12 | by Alex Tabarrok | tags: coase, coase conjecture, conjecture

14.

GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf] (news.ycombinator.com)

2026-07-10 | tags: conjecture, conjecture pdf, cover

15.

An OpenAI Model ‘Disproved’ a Famous Math Conjecture. This Mathematician Couldn’t Leave It Alone (gizmodo.com)

2026-06-01 | get Mathematician's Puzzle Book → | tags: openai, will sawin, mathematician

16.

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

17.

An OpenAI model has disproved a central conjecture in discrete geometry (news.ycombinator.com)

2026-05-20 | get OpenAI Discrete Geometry Book → | tags: openai, discrete geometry, conjecture

18.

Schanuel's Conjecture and the Semantics of Triton's FPSan (news.ycombinator.com)

2026-05-16 | by Posted On | tags: schanuel's conjecture, triton compiler, fpsan tool

19.

What's a mathematician to do? (2010) (news.ycombinator.com)

2026-05-10 | get Mathematician's Notebook Set → | tags: poincaré conjecture, mathematical understanding, human minds

20.

What's a Mathematician to Do? (news.ycombinator.com)

2026-05-10 | get Mathematician's Notebook Set → | tags: fermat's last theorem, poincaré conjecture, mathematics

21.

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

22.

Android Phones Are Getting More Anti-Theft Features (slashdot.org)

2026-01-27 | by Posted | get Smartphones → | tags: carl, carl gutekunst, conjecture

23.

Unpicking How to Measure the Complexity of Knots (wired.com)

2025-11-08 | by Leila Sloman | get KnotGenius → | tags: brittenham, conjecture, hermiller

24.

Mathematical exploration and discovery at scale (news.ycombinator.com)

2025-11-06 | by Terence Tao | get Scientific Computing → | tags: alphaevolve, code, conjecture

25.

Mathematical Exploration and Discovery at Scale (news.ycombinator.com)

2025-11-06 | by Terence Tao | get Geographic Information System (GIS) → | tags: alphaevolve, code, conjecture

26.

Mathematicians Startled by 17-Year-Old With Uncanny Abilities (futurism.com)

2025-10-31 | get Microsoft Surface Pro → | tags: cairo, conjecture, math

27.

Hannah Cairo: 17-year-old teen refutes a math conjecture proposed 40 years ago (news.ycombinator.com)

2025-10-31 | by Ágata A. Timón | get Meta Quest → | tags: cairo, conjecture, math

28.

After 20 years, math couple solves major group theory problem (news.ycombinator.com)

2025-10-31 | by Leila Sloman | get Microsoft Surface Laptop → | tags: conjecture, group, groups

29.

After 20 Years, Math Couple Solves Major Group Theory Problem (news.ycombinator.com)

2025-10-31 | by Leila Sloman | get Microsoft Surface Laptop → | tags: conjecture, group, groups