Lean4 helped Terence Tao discover a small bug in his recent paper
467 by gridentio | 208 comments on Hacker News.
Watch this link
New best story on Hacker News: Lean4 helped Terence Tao discover a small bug in his recent paper
International News 42
October 28, 2023
Ads
Search This Blog
- January 202470
- December 202377
- November 202384
- October 202399
- September 2023109
- August 202390
- July 202388
- June 2023112
- May 202382
- April 202378
- March 202397
- February 202390
- January 202389
- December 202281
- November 202297
- October 202266
- September 202276
- August 202294
- July 202286
- June 202273
- May 202288
- April 202289
- March 2022107
- February 202292
- January 2022125
- December 2021118
- November 2021126
- October 2021137
- September 2021131
- August 2021130
- July 2021122
- June 2021130
- May 2021133
- April 2021141
- March 2021144
Categories
Ad Code
About
Hello, my name is Jack Sparrow. I'm a 50 year old self-employed Pirate from the Caribbean.
Learn More →
Popular Posts
Popular Posts
Menu Footer Widget
Crafted with by TemplatesYard | Distributed by Blogger
0 Comments