[a / b / c / d / e / f / g / gif / h / hr / k / m / o / p / s / t / u / v / vg / vm / vmg / vr / vrpg / vst / w / wg] [i / ic] [r9k / s4s / vip] [cm / hm / lgbt / y] [3 / aco / adv / an / bant / biz / cgl / ck / co / diy / fa / fit / gd / hc / his / int / jp / lit / mlp / mu / n / news / out / po / pol / pw / qst / sci / soc / sp / tg / toy / trv / tv / vp / vt / wsg / wsr / x / xs] [Settings] [Search] [Mobile] [Home]
Board
▼ Settings Mobile Home
/g/ - Technology
Return Catalog Bottom Refresh
Thread archived.
You cannot reply anymore.
[Advertise on 4chan]
[Return] [Catalog] [Bottom]
Anonymous Archived
 No.109479382
File: IMG_2574.jpg (77 KB, 1080x659)
77 KB JPG
 No.109479382 Archived
All recent Al proofs Lean verification was completed after the Al synthesized the informal proof. Even then only a fraction was verified in Lean through Al/human assisted formalization. This shows that automated verification is not the bottleneck holding back these models so it could soon be applied to other fields.
>>
Anonymous
 No.109482632
 No.109482632
Ok
>>
sage
 No.109484795
 No.109484795
File: 1771420510411861.png (17 KB, 800x600)
17 KB PNG
I really don't care
>>
Anonymous
 No.109484838
 No.109484838
>>109479382
>synthesized
does that mean
>human explained, AI implemented it
or did you ignore https://vibemathed.com/problem/schiffer-conjecture
>>
Anonymous
 No.109484971
 No.109484971
>>109479382
Based
Snailcats luddites are going to keep crying and shitting their pants
[Return] [Catalog] [Top]
Post a Reply
Return Catalog Top Refresh
[Advertise on 4chan]
Delete Post: [File Only] Style:
[Disable Mobile View / Use Desktop Site]

[Enable Mobile View / Use Mobile Site]

All trademarks and copyrights on this page are owned by their respective parties. Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.