fedistats
  • Trends
  • Search
  • Topics
  • Nodes
< back

 rishimehta.xyz

13 13
A chart of hourly posts over the last week (for big screens). A chart of hourly posts over the last week (for small screens).
English(10) Japanese(2) Chinese (Taiwan)(1)
#hackernews(2) #ycombinator(2) #Bot(1) #News(1) #數學解題(1) #hackernewsbot(1)

From rishimehta.xyz

AlphaProof’s Greatest Hits

14 14

Here I’ll try to explain the coolest ideas in each of AlphaProof’s IMO 2024 solutions. AlphaProof produces proofs in Lean, and each Lean proof is composed of a series of tactics. So I’ll pick out the tactics that correspond to these ideas in the proofs for problems 1, 2 and 6 (the three problems...

#Bot #News #數學解題 #hackernewsbot #hackernews #ycombinator

18h ago

From ycombinator.com

AlphaProof's Greatest Hits: the coolest bits from the IMO 2024 solutions | Hacker News

8 8

#Bot #News #tech #hackernewsbot #hackernews

17h ago

(Showing 2 out of 2.)