Timeline for Examples for the use of AI and especially LLMs in notable mathematical developments
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 28 at 21:42 | comment | added | Geordie Williamson | Note that this is an application of neural networks, but not LLMs. (I think they tried to use AlphaEvolve, but this wasn't the main ingredient in the paper...) | |
| S Oct 28 at 16:54 | history | answered | Piyush Grover | CC BY-SA 4.0 | |
| S Oct 28 at 16:54 | history | made wiki | Post Made Community Wiki by Piyush Grover |