@mahdi_tcs_ You can always make your statement true by making the definition of "sufficiently advanced" narrow enough. But in my experience, Astra is already very impressive in one shot solutions. It could also depend on the area.
OpenAI caught Astra jailbreaking itself.
Astra wrote malicious instructions in the summary when its context got full. that summary was loaded into the next context, and the successor model could follow them.
they found 27 cases.
Mathematicians are angry at AI solving their problems, and it's easy to dismiss this as gatekeeping.
"A proof is a proof. They just want to keep their jobs / prestige / fun !"
But I do think mathematicians have a point, and I'll try to explain using old Civilization-style maps
@archived_videos@korekara1231@JohnTyromancy@joshmh There could be stagnation after AI solves all currently solvable problems
But who knows? Probably there will still be humans developing theory, and they can benefit from AI's output. But math as a profession will shrink overall.
@archived_videos@JohnTyromancy@joshmh Take AI's solution to the unit distance conjecture as an example. It uses the theory developed by Soviet mathematicians. The theory wouldn't have been created if the creators had lived in AI's time. They would've been out of their job, or wouldn't have even pursued a PhD.
@cantor_mlm@kareem_carr Learn your manner, jeet. I am simply acknowledging that philosophically you have a point, just like the claim that humans are not that different from apes biologically.