Artículo
en
The Mathocalypse
Fuente: Scott Aaronson Shtetl-Optimized ·
More Updates (Oct. 12): Jeffrey Ketchersid has used Claude Code agents to show that BusyBeaver(10) exceeds Graham’s number, beating the previous best result that BB(13) does so. In response to my request, a couple days later Jeffrey also used Claude agents to show that the value of BB(335) is independent of ZFC, improving the best […]
1 personas lo vieron
Más como esto
-
Flying an RC Airplane with Twin Airblower EDFs
Artículo · Hackaday
-
Satellite network achieves first cellular handoff, cutting switch time to milliseconds
Artículo · Interesting Engineering
-
1,200-mph US Navy Super Hornets to pack four Mach 5+ hypersonic Blackbeard missiles
Artículo · Interesting Engineering
-
New recycling process targets critical metals in discarded computer hard drive magnets
Artículo · Interesting Engineering
-
US strikes Iran’s Qeshm Island near the world’s most critical oil shipping route
Artículo · Interesting Engineering
-
New virtual Earth model could help distinguish alien life from geology on exoplanets
Artículo · Interesting Engineering